type RingF2 a = RingF (RingF1 a)